$\forall$$M$:MsgA, $l$:IdLnk. $M$ sends on link $l$ $\in$ $\mathbb{B}$